1. Combinators, [lambda]-Terms and Proof Theory
Author: by Sören Stenlund.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General)
2. Logical Theory and Semantic Analysis :
Author: edited by Sören Stenlund, Ann-Mari Henschen-Dahlquist, Lars Lindahl, Lennart Nordenfelt, Jan Odelstad.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General)
Classification :
BC50
.
E358
1974
